Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Klara at the OpenZFS User & Developer Summit 2025
klarasystems.comยท2h
๐Ÿ’ฟZFS Archaeology
Flag this post
Turbocharge Your AI: A Smarter Way to Explore Decision Trees
dev.toยท19hยท
Discuss: DEV
๐Ÿง Learned Indexing
Flag this post
Best Open Source Observability Solutions
clickhouse.comยท1hยท
Discuss: Hacker News
๐Ÿ“ŠHomelab Monitoring
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.orgยท16h
๐Ÿ’ปLocal LLMs
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท15hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐Ÿ›ก๏ธeBPF Security
Flag this post
B+Tree Index Structures in InnoDB
blog.jcole.usยท2dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
Flag this post
Why CoreWeaveโ€™s Object Storage Launch is Good for AIโ€”and Everyone Building It
backblaze.comยท4h
๐Ÿ’พPersistence Strategies
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Flag this post
OpenBSD smtpd errata patches released for versions 7.7 and 7.8
discoverbsd.comยท11h
๐Ÿ”ŒOperating system internals
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ”„Sync Engine
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.comยท1hยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธDomain-Specific Languages
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท4hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Flag this post